Pamela Zave: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The compositional architecture of the internet

Zave, Pamela, Rexford, Jennifer

Journal:

Communications of the ACM

Year:

2019

Language:

english

File:

PDF, 9.73 MB

english, 2019

2

Salient features of an executable specification language and its environment

Zave, Pamela, Schell, William

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 3.13 MB

english, 1986

3

The operational versus the conventional approach to software development

Journal:

Communications of the ACM

Year:

1984

Language:

english

File:

PDF, 7.85 MB

english, 1984

4

[ACM Press the 38th International Conference - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the 38th International Conference on Software Engineering Companion - ICSE '16 - Theories of everything

Year:

2016

Language:

english

File:

PDF, 398 KB

english, 2016

5

Formal methods after 15 years: Status and trends a paper based on contributions of the panelists at the FORmal TEchnique '95 Conference, Montreal, october 1995

Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave

Journal:

Computer Networks and ISDN Systems

Year:

1996

Language:

english

File:

PDF, 1.09 MB

english, 1996

6

Using Z to specify telephone features

Peter Mataga, Pamela Zave

Journal:

Information and Software Technology

Year:

1995

Language:

english

File:

PDF, 793 KB

english, 1995

7

A Call Abstraction for Component Coordination

Pamela Zave, Michael Jackson

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 168 KB

english, 2002

8

Telecommunications service requirements: Principles for managing complexity

Pamela Zave, Michael Jackson

Journal:

Requirements Engineering

Year:

1997

Language:

english

File:

PDF, 943 KB

english, 1997

9

Component coordination: a telecommunication case study

Pamela Zave, Healfdene H. Goguen, Thomas M. Smith

Journal:

Computer Networks

Year:

2004

Language:

english

File:

PDF, 419 KB

english, 2004

10

Case study: The PAISLey approach applied to its own software tools

Journal:

Computer Languages

Year:

1986

Language:

english

File:

PDF, 963 KB

english, 1986

11

Classification of research efforts in requirements engineering

Journal:

ACM Computing Surveys

Year:

1997

Language:

english

File:

PDF, 63 KB

english, 1997

12

A distributed alternative to finite-state-machine specifications

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1985

Language:

english

File:

PDF, 1.59 MB

english, 1985

13

Matching and Merging of Variant Feature Specifications

Nejati, Shiva, Sabetzadeh, Mehrdad, Chechik, Marsha, Easterbrook, Steve, Zave, Pamela

Journal:

IEEE Transactions on Software Engineering

Year:

2012

Language:

english

File:

PDF, 2.64 MB

english, 2012

14

Guest editors' prologue special issue on software design methods

Bergland, G. D., Zave, Pamela

Journal:

IEEE Transactions on Software Engineering

Year:

1986

Language:

english

File:

PDF, 1.91 MB

english, 1986

15

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Software Engineering for the Next Internet

Year:

2009

Language:

english

File:

PDF, 145 KB

english, 2009

16

[Lecture Notes in Computer Science] FME 2001: Formal Methods for Increasing Software Productivity Volume 2021 || Lightweight Formal Methods

Oliveira, José Nuno, Zave, Pamela

Year:

2001

Language:

english

File:

PDF, 27 KB

english, 2001

17

[IEEE 29th International Conference on Software Engineering - Minneapolis, MN, USA (2007.05.20-2007.05.26)] 29th International Conference on Software Engineering (ICSE'07) - Matching and Merging of Statecharts Specifications

Nejati, Shiva, Sabetzadeh, Mehrdad, Chechik, Marsha, Easterbrook, Steve, Zave, Pamela

Year:

2007

Language:

english

File:

PDF, 765 KB

english, 2007

18

Address translation in telecommunication features

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2004

Language:

english

File:

PDF, 369 KB

english, 2004

19

Report of the DIMACS working group on abstractions for network services, architecture, and implementation

Rexford, Jennifer, Zave, Pamela

Journal:

ACM SIGCOMM Computer Communication Review

Year:

2012

Language:

english

File:

PDF, 319 KB

english, 2012

20

Knowledge-based debugging

Linton, Mark A., Balzer, Robert, Cunningham, R. J., Green, Cordell, Sedlmeyer, Robert, Solloway, Elliott, Swartout, William, Zave, Pamela

Journal:

ACM SIGPLAN Notices

Year:

1983

Language:

english

File:

PDF, 137 KB

english, 1983

21

An overview of the PAISLey project-1984

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1984

Language:

english

File:

PDF, 739 KB

english, 1984

22

Correction

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1984

Language:

english

File:

PDF, 70 KB

english, 1984

23

Formal software engineering

Gunter, Carl A., Gunter, Elsa L., Zave, Pamela

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 121 KB

english, 2000

24

Found poetry of software engineering

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1986

Language:

english

File:

PDF, 36 KB

english, 1986

25

Assessment

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1988

Language:

english

File:

PDF, 312 KB

english, 1988

26

[ACM Press the symposium - Pacific Grove, California (1983.03.20-1983.03.23)] Proceedings of the symposium on High-level debugging - SIGSOFT '83 - Knowledge-based debugging

Linton, Mark A., Balzer, Robert, Cunningham, R. J., Green, Cordell, Sedlmeyer, Robert, Solloway, Elliott, Swartout, William, Zave, Pamela

Year:

1983

Language:

english

File:

PDF, 137 KB

english, 1983

27

[ACM Press the 2006 ACM CoNEXT conference - Lisboa, Portugal (2006.12.04-2006.12.07)] Proceedings of the 2006 ACM CoNEXT conference on - CoNEXT '06 - Compositional control of IP media

Zave, Pamela, Cheung, Eric

Year:

2006

Language:

english

File:

PDF, 201 KB

english, 2006

28

Design of an Adaptive, Parallel Finite-Element System

Zave, Pamela, Rheinboldt, Werner C.

Journal:

ACM Transactions on Mathematical Software

Year:

1979

Language:

english

File:

PDF, 1.07 MB

english, 1979

29

[ACM Press the 27th international conference - St. Louis, MO, USA (2005.05.15-2005.05.21)] Proceedings of the 27th international conference on Software engineering - ICSE '05 - Where do you go when you're through the turnstile?

Jackson, Michael, Zave, Pamela

Year:

2005

Language:

english

File:

PDF, 110 KB

english, 2005

30

[ACM Press the 16th ACM SIGSOFT International Symposium - Atlanta, Georgia (2008.11.09-2008.11.14)] Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering - SIGSOFT '08/FSE-16 - Towards compositional synthesis of evolving systems

Nejati, Shiva, Sabetzadeh, Mehrdad, Chechik, Marsha, Uchitel, Sebastian, Zave, Pamela

Year:

2008

Language:

english

File:

PDF, 1.24 MB

english, 2008

31

Conjunction as composition

Zave, Pamela, Jackson, Michael

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1993

Language:

english

File:

PDF, 2.07 MB

english, 1993

32

[ACM Press the 5th International Conference - Chicago, Illinois (2011.08.01-2011.08.02)] Proceedings of the 5th International Conference on Principles, Systems and Applications of IP Telecommunications - IPTcomm '11 - StratoSIP

Cheung, Eric, Bond, Gregory W., Smith, Thomas M., Zave, Pamela

Year:

2011

Language:

english

File:

PDF, 116 KB

english, 2011

33

Four dark corners of requirements engineering

Zave, Pamela, Jackson, Michael

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1997

Language:

english

File:

PDF, 424 KB

english, 1997

34

[ACM Press the 7th Workshop - Montreal, Quebec, Canada (2012.12.03-2012.12.07)] Proceedings of the 7th Workshop on Middleware for Next Generation Internet Computing - MW4NG '12 - The geomorphic view of networking

Zave, Pamela, Rexford, Jennifer

Year:

2012

Language:

english

File:

PDF, 121 KB

english, 2012

35

An open architecture for next-generation telecommunication services

Bond, Gregory W., Cheung, Eric, Purdy, K. Hal, Zave, Pamela, Ramming, J. Christopher

Journal:

ACM Transactions on Internet Technology

Year:

2004

Language:

english

File:

PDF, 232 KB

english, 2004

36

[ACM Press Principles, Systems and Applications of IP Telecommunications - Munich, Germany (2010.08.02-2010.08.04)] Principles, Systems and Applications of IP Telecommunications on - IPTComm '10 - Specification and evaluation of transparent behavior for SIP back-to-back user agents

Bond, Gregory W., Smith, Thomas M., Cheung, Eric, Zave, Pamela

Year:

2010

Language:

english

File:

PDF, 465 KB

english, 2010

37

[ACM Press the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS - Boulder, Colorado, USA (2011.06.20-2011.06.24)] Proceedings of the joint ACM SIGSOFT conference -- QoSA and ACM SIGSOFT symposium -- ISARCS on Quality of software architectures -- QoSA and architecting critical systems -- ISARCS - QoSA-ISARCS '11 - How software architecture can make an application-friendly internet

Year:

2011

Language:

english

File:

PDF, 365 KB

english, 2011

38

[ACM Press the 3rd International Conference - Atlanta, Georgia (2009.07.07-2009.07.08)] Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications - IPTComm '09 - Abstractions for programming SIP back-to-back user agents

Zave, Pamela, Cheung, Eric, Bond, Gregory W., Smith, Thomas M.

Year:

2009

Language:

english

File:

PDF, 414 KB

english, 2009

39

[ACM Press the 5th International Conference - Chicago, Illinois (2011.08.01-2011.08.02)] Proceedings of the 5th International Conference on Principles, Systems and Applications of IP Telecommunications - IPTcomm '11 - Mid-call, multi-party, and multi-device telecommunication features and their interactions

Year:

2011

Language:

english

File:

PDF, 377 KB

english, 2011

40

[ACM Press the 1983 annual conference - Not Known (1983..-..)] Proceedings of the 1983 annual conference on Computers : Extending the human resource - ACM 83 - Operational specification languages

Year:

1983

Language:

english

File:

PDF, 832 KB

english, 1983

41

[ACM Press the first ACM SIGACT-SIGOPS symposium - Ottawa, Canada (1982.08.18-1982.08.20)] Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '82 - Testing incomplete specifications of distributed systems

Year:

1982

Language:

english

File:

PDF, 636 KB

english, 1982

42

[ACM Press the 17th international conference - Seattle, Washington, United States (1995.04.24-1995.04.28)] Proceedings of the 17th international conference on Software engineering - ICSE '95 - Deriving specifications from requirements

Jackson, Michael, Zave, Pamela

Year:

1995

Language:

english

File:

PDF, 1.01 MB

english, 1995

43

[IEEE 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP) - Florence, Italy (2015.5.17-2015.5.17)] 2015 IEEE/ACM 2nd International Workshop on Software Engineering Research and Industrial Practice - Bridging the Research-Industry Gap: The Case for Domain Modeling

Year:

2015

Language:

english

File:

PDF, 75 KB

english, 2015

44

Using lightweight modeling to understand chord

Journal:

ACM SIGCOMM Computer Communication Review

Year:

2012

Language:

english

File:

PDF, 703 KB

english, 2012

45

Knowledge-based debugging

Linton, Mark A., Balzer, Robert, Cunningham, R. J., Green, Cordell, Sedlmeyer, Robert, Solloway, Elliott, Swartout, William, Zave, Pamela

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1983

Language:

english

File:

PDF, 137 KB

english, 1983

46

[ACM Press the 2017 CHI Conference - Denver, Colorado, USA (2017.05.06-2017.05.11)] Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems - CHI '17 - Locked or Not?

Yarosh, Lana, Zave, Pamela

Year:

2017

Language:

english

File:

PDF, 712 KB

english, 2017

47

[ACM Press the Conference of the ACM Special Interest Group - Los Angeles, CA, USA (2017.08.21-2017.08.25)] Proceedings of the Conference of the ACM Special Interest Group on Data Communication - SIGCOMM '17 - Dynamic Service Chaining with Dysco

Zave, Pamela, Ferreira, Ronaldo A., Zou, Xuan Kelvin, Morimoto, Masaharu, Rexford, Jennifer

Year:

2017

Language:

english

File:

PDF, 2.01 MB

english, 2017

48

Reasoning About Identifier Spaces: How to Make Chord Correct

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 418 KB

english, 2017